Ååøøøññøø Blockin Blockinð Ãòóûððððð Ååòòòòññòø Ò Ààäå

نویسنده

  • Andrea Asperti
چکیده

PROD id="i32" type Definition id="i0" MUTIND uri="cic:Coq/init/Datatypes/nat.ind" notype="0" id="i33" source apply xref="i34" apply xref="i37" times definitionURL= "cic/Coq/Init/Peano/mult.con" xref="i38" 0 definitionURL= "cic:/Coq/Init/Datatypes/nat.ind" cn xref="i41" 0 definitionURL= xref="i40" "cic:/Coq/Init/Datatypes/nat.ind" cn eq xref="i35" "cic:/Coq/Init/Logic/Equality/eq.ind" definitionURL= target binder="a" id="i34" APPLY forall bvar math apply xref="i32" a ci xref MUTIND uri="cic:Coq/init/Logic/Equality/eq.ind" MUTIND uri="cic:Coq/init/Datatypes/nat.ind" notype="0" REL uri="cic:Coq/init/Datatypes/nat.ind" MUTCONSTRUCT uri="cic:Coq/init/Datatypes/nat.ind" MUTCONSTRUCT notype="0" id="i35" id="i36" uri="cic:/Coq/Init/Peano/mult.con" CONST id="i37" id="i38" value="1" binder="a" id="i39" notype="0" noconstr="1" id="i40" notype="0" noconstr="1" id="i41" ci xref="i39"

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001